This is the final version of weirdFile1.v.